7/(3\int_0^1 8^x dx)